proof for the formula for the volume of a pyramid